# Academic Research Specialized
Proofgpt V0.1 6.7B
MIT
ProofGPT-v0.1 is a language model based on the GPT-NeoX architecture with 6.7 billion parameters, trained on the proof-pile dataset.
Large Language Model
Transformers English

P
hoskinson-center
168
10
Llama 3.2 3B NuminaQA
Apache-2.0
A 3B-parameter Q&A model fine-tuned from FineMath-Llama-3B, trained using the Numia-1.5 Q&A dataset
Large Language Model
Transformers

L
lkevinzc
330
3
Llavaguard V1.2 7B OV
LlavaGuard is a safety assessment system based on a vision-language model, primarily used for safety classification and compliance checks of image content.
Image-to-Text
Safetensors
L
AIML-TUDA
193
2
Dictalm2.0 Instruct
Apache-2.0
An instruction fine-tuned large language model based on DictaLM-2.0, specifically optimized for Hebrew and English chat scenarios
Large Language Model
Transformers Supports Multiple Languages

D
dicta-il
9,977
22
UNA TheBeagle 7b V1
TheBeagle is a 7-billion-parameter model trained on The Bagel dataset, optimized with DPO (Direct Preference Optimization) and UNA (Unified Neural Architecture) techniques, demonstrating excellent performance in multi-task scenarios.
Large Language Model
Transformers

U
fblgit
88
37
Llamantino 2 7b Hf ITA
An Italian-adapted large language model based on LLaMA 2, focused on Italian text generation tasks
Large Language Model
Transformers Other

L
swap-uniba
4,696
7
Featured Recommended AI Models